Can Language Models Optimize Real-World Repositories on Real Workloads?
๐Performance
Flag this post
Dynamically Reconfigurable Instruction Cache for Low-Power ARM Custom Cores
๐Cache Coherence
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
ฮปFunctional Programming
Flag this post
V8: Digging into the TurboFan JIT (2015)
๐Performance
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.orgยท2d
๐ฑNom
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
๐ฆFolly
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.orgยท2d
โFormal Verification
Flag this post
Exhaustive profiling toolkit: elfutils and libdwfl_stacktrace
developers.redhat.comยท3d
๐Profiling Tools
Flag this post
Generative AI and the P=NP problem
lesswrong.comยท14h
๐งฎSMT Solvers
Flag this post
How the PolyBlocks AI Compiler Works
๐SIMD.js
Flag this post
Goodbye *ibe Coding
๐ฌPrompt Engineering
Flag this post
The Secret Behind Fast LLM Inference: Unlocking the KV Cache
pub.towardsai.netยท2d
โกCache Optimization
Flag this post
First-class custom smart pointers
๐Crossbeam
Flag this post
Built a Claude Skill That Optimizes Your Docs/README for LLMs So They Actually Understand Them (based on c7score and llmstxt formats)
๐ฌPrompt Engineering
Flag this post
Loading...Loading more...